#741 epsilonhalbe Comment 741 For those interested I have a question to think about: When we have (*), (+) in types, what would (^) be on type level? It does exist, this is no trick question. url:Why sum and product types? 2015-12-04
For those interested I have a question to think about: When we have (*), (+) in types, what would (^) be on type level? It does exist, this is no trick question.